推进剂利用系统装订参数计算及软件集成方法

在大型航天软件中,推进剂利用系统装订参数计算对提高推进剂利用率具有重要意义。给出了利用系统装订参数的计算方法,并在基于CORBA的分布式大型软件系统中对软件集成方法进行了研究。     

基于假设检验的软件可靠性模型预测精度比较

提出一种基于假设检验的软件可靠性模型预测精度比较方法,该方法将模型预测值与真实值的RE(相对误差)看作随机变量,利用假设检验思想度量模型预测精度,并给出多个模型之间预测精度的比较标准.     

电子对抗装备软件的测试策略与方法

在阐述了电子对抗装备软件特点的基础上,对研制电子对抗装备软件过程中的测试策略与方法进行了初步的研究,并对在实施测试过程中的几个问题进行了探讨.     

气象水文软件测评系统建设研究

介绍了气象水文软件测评系统建设和研究情况,重点分析了测评系统的网络环境、硬件环境、软件环境、测试技术能力、测试流程管理等方面的建设和研究情况.     

软件测试工具的问题及解决方法

讨论了当前软件测试工具的关键技术,并指出了其弱点,介绍了如何基于.NET技术对这些弱点进行相应的改善.     

AES轮变换的代数正规型及其应用

每个布尔函数的代数正规型(ANF)是唯一的,对于研究布尔函数有重要意义.利用Mathematica软件得到了高级加密标准的轮变换(Sbox,ShiftRow和MixColumn的复合)的128个分量函数的代数正规型.每个分量函数都是32元布尔函数,其项数在448 ～ 545,平均为496,远远小于随机32元布尔函数的平均项数231.这表明AES轮变换与随机置换有巨大偏差.得到这些ANF的时间复杂度在一个2GHz的PC机上只用几分钟.该方法优于通过真值表得到ANF的经典算法——其得到128个分量函数的时间复杂度为0( 128×32 ×232)=0(244).作为应用,利用得到的ANF建立了一轮AES的一个方程系统,并用Cryptominisat 2.9.0进行求解.使用Guess-and-Determine的方法,利用一个已知明密对,可以在PC机上233h内得到全部128比特密钥.     

导弹测发控系统软件质量评价

在分析了导弹测发控系统软件特点的基础上,建立了针对该软件的质量模型,运用集成改进层次分析法和多级模糊评判于一体的综合评价方法对该软件进行质量评价,最后获得该软件质量的定量评价结果,并对结果进行了分析。     

不平衡数据的软件缺陷预测方法

数据的不平衡问题是数据分类领域中的一个热点问题。当分类算法处理这些数据时,算法将偏向多数类而忽视少数类。在软件缺陷预测领域,它并没有引起足够的重视,在4组NASA不平衡数据上比较和分析了14种分类算法的性能,为了克服数据的不平衡性,采用SMOTE技术对软件缺陷数据进行平衡化,最后在AUC和F-measure评价指标下对算法进行评估。实验结果表明随机森林算法在4组数据上表现最佳,这为软件缺陷预测提供了很好的参考。     

ICAO二阶阶跃模型下信号畸变对导航接收机载噪比估计影响分析

载噪比是评估导航信号质量的重要指标,直接影响着接收机的捕获、跟踪和电文解调性能。论文推导了基于国际民航组织（ICAO）二阶阶跃信号畸变模型下导航接收机采用相关、非相关处理时载噪比估计与信号畸变参数之间的解析表达式,并分析了导航信号畸变参数对载噪比估计的影响。仿真结果表明,数字畸变参数变化范围下导航信号载噪比变化在10-2量级,增大模拟畸变的振荡频率或者减小衰减频率将会提高载噪比估计值,模拟畸变参数变化引起的载噪比损耗可达0.1dBHz,畸变参数对载噪比估计的影响整体上都较小,因此利用接收机输出载噪比作为导航信号异常监测手段是不完备的。     

武器装备作战控制软件管理方法

随着科学技术不断进步 ,微处理器及其作战控制软件已被现代武器装备大量采用 ,作战控制软件发挥的作用越来越大 ,对软件的管理亦更加重要 ,通过对作战控制软件管理方面存在的问题的分析 ,提出了加强武器装备作战控制软件管理的方法